$\forall$${\it es}$:ES, $l$:IdLnk, ${\it tg}$:Id, $e$:E.
\\[0ex]kind($e$) $=$ rcv($l$,${\it tg}$) $\in$ Knd
\\[0ex]$\Rightarrow$ \{isrcv($e$) \& lnk($e$) $=$ $l$ \& tag($e$) $=$ ${\it tg}$ \& loc(sender($e$)) $=$ source($l$) $\in$ Id\}